Make the `@defcodeindex op' command unconditional.

diff --git a/man/emacs.texi b/man/emacs.texi
index 4b4a80fbb596a23a6434a12f2c5294a94036bbd6..8d32177a805250f176d0cce7bf5e728e1cce08c0 100644 (file)
--- a/man/emacs.texi
+++ b/man/emacs.texi
@@ -3,12 +3,7 @@
 @setchapternewpage odd
 @settitle GNU Emacs Manual
 @setfilename ../info/emacs
-@c The Option Index is produced only in the on-line version,
-@c because the index entries related to command-line options
-@c tend to point to the same pages and all begin with a dash.
-@ifnottex
 @defcodeindex op
-@end ifnottex
 @synindex pg cp
 
 @c The edition number appears in several places in this file